A MAX-CUT formulation of 0/1 programs
نویسنده
چکیده
We consider the linear or quadratic 0/1 program P : f = min{cx + xFx : Ax = b; x ∈ {0, 1}}, for some vectors c ∈ R, b ∈ Z, some matrix A ∈ Zm×n and some real symmetric matrix F ∈ Rn×n. We show that P can be formulated as a MAX-CUT problem whose quadratic form criterion is explicit from the data of P. In particular, to P one may associate a graph whose connectivity is related to the connectivity of the matrix F and AA, and P reduces to finding a maximum (weighted) cut in such a graph. Hence the whole arsenal of approximation techniques for MAX-CUT can be applied. On a sample of 0/1 knapsack problems, we compare the lower bound on f∗ of the associated standard (Shor) SDP-relaxation with the standard linear relaxation where {0, 1} is replaced with [0, 1] (resulting in an LP when F = 0 and a quadratic program when F is positive definite). We also compare our lower bound with that of the first SDP-relaxation associated with the copositive formulation of P.
منابع مشابه
2 a Quick Review 3 Applications of Duality 3.1 Max-flow = Min-cut
1 Overview In the previous lecture, we introduced several algorithms for solving linear programs, such as simplex algorithm , ellipsoid algorithm, and interior point algorithm. In this lecture, let us look at some typical applications of duality to graph theory. Recall that the primal of a linear program with n variables and m constraints can be written as min c x|Ax ≥ b, x ≥ 0, x ∈ R n The dua...
متن کاملSemideenite Relaxations for Max-cut
We compare several semideenite relaxations for the cut polytope obtained by applying the lift and project methods of Lovv asz and Schrijver and of Lasserre. We show that the tightest relaxation is obtained when aplying the Lasserre construction to the node formulation of the max-cut problem. This relaxation Q t (G) can be deened as the projection on the edge subspace of the set F t (n), which c...
متن کاملBDDs in a Branch & Cut Framework
Branch & Cut is today’s state-of-the-art method to solve 0/1-integer linear programs. Important for the success of this method is the generation of strong valid inequalities, which tighten the linear programming relaxation of 0/1IPs and thus allow for early pruning of parts of the search tree. In this paper we present a novel approach to generate valid inequalities for 0/1IPs which is based on ...
متن کاملApproximation Complexity of Nondense Instances of MAX-CUT
We prove existence of approximation schemes for instances of MAXCUT with Ω( 2 ∆ ) edges which work in 2 O ( ∆ ε2 ) nO(1) time. This entails in particular existence of quasi-polynomial approximation schemes (QPTASs) for mildly sparse instances of MAX-CUT with Ω( n 2 polylogn) edges. The result depends on new sampling method for smoothed linear programs that approximate MAX-CUT. On the other hand...
متن کاملLecture 17 ( Nov 3 , 2011 ) : Approximation via rounding SDP : Max - Cut
The next technique we learn is designing approximation algorithms using rounding semidefinite programs. This was first introduced to obtain improved approximation algorithms for the problem of Max-Cut. A trivial 1 2-approximation is to obtain a random partition of the vertices; i.e. place every vertex v ∈ V into set S with probability 1/2. We get E(weight of cut) = 1 2 e∈E w(e) ≥ 1 2 opt and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Oper. Res. Lett.
دوره 44 شماره
صفحات -
تاریخ انتشار 2016